Conjuctive Normal Form